DEF=kast-in
EXT=kast-in
TESTDIR=.
KOMPILE_BACKEND=haskell
export KOMPILE_BACKEND
KAST_FLAGS=--input kore --output pretty

include ../../../include/kframework/ktest.mak
